⊕Post-Acceptor-Template-Unifies-Variables names a function, with lambda list NIL:
An acceptor template list must match variables and return their bindings.
Defined in file src/acceptor.lisp.